A Formal Proof Of The Independence Of The Continuum Hypothesis